extern int printf(const char* format, ...);

#define ACPI_TYPE_INVALID 0x1E
#define NUM_NS_TYPES ACPI_TYPE_INVALID + 1
int array[NUM_NS_TYPES];

#define n 0xe
int main() {
    printf("n+1 = %d\n", n + 1);
    //    printf("n+1 = %d\n", 0xe+1);
}
